Code Inflation

نویسنده

  • Gerard J. Holzmann
چکیده

If you compare the state of software development tools today with those that were used in, say, the sixties, you do of course see many signs of improvement. Compilers are faster and better, we have powerful new integrated program development environments, and there are quite a few effective static source code analysis and logic model checking tools around today that help us catch bugs. All this is true, and it would have made a fabulous difference if our software applications still looked like they did in the sixties. But they don’t.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inflation Expectations and Inflation Uncertainty in the Eurozone: Evidence from Survey Data

This paper uses the European Commission’s Consumer Survey to assess whether inflation expectations have converged and whether inflation uncertainty has diminished following the introduction of the Euro in Europe. Consumers’ responses to the survey suggest that inflation expectations depend more on past national inflation rates than on the ECB’s anchor for price stability. The convergence in inf...

متن کامل

Inflation Targeting: A Victim of Its Own Success?

Since the introduction of inflation targeting, inflation expectations have become firmly anchored at target and there has been a flattening of the Phillips curve. These changes mean that a “divine coincidence” between headline inflation and output-gap stabilization is less apparent than when inflation targeting was introduced. This has led some to call for a fundamental reengineering of inflati...

متن کامل

Revenue decentralization and inflation: a re-evaluation

A problematic feature of the existing empirical literature on the relationship between revenue decentralization (RD) and inflation is the use of inaccurate measures for RD. Using a newly constructed measure for RD that accounts for over-time changes in subnational tax autonomy, this paper finds that RD leads to lower inflation.

متن کامل

Using a Different Measure of Inflation for Indexing Federal Programs and the Tax Code

Federal laws try to protect taxpayers and recipients of government benefits from the effects of rising prices by specifying that dollar amounts in many parts of the tax code and in some programs be automatically adjusted— or indexed—for inflation. Without such indexing, a rise in the general level of prices would alter the effects of federal policies even in the absence of action by lawmakers. ...

متن کامل

Accurately Determining Inflationary Perturbations

Cosmic microwave anisotropy satellites promise extremely accurate measures of the amplitude of perturbations in the universe. We use a numerical code to test the accuracy of existing approximate expressions for the amplitude of perturbations produced by single-field inflation models. We find that the second-order Stewart– Lyth calculation gives extremely accurate results, typically better than ...

متن کامل

Inflation Dynamics and Inflation Regimes

In this paper we develop and estimate a new-Keynesian model of inflation and use it to investigate the hypothesis that prices in the UK are re-set more frequently during periods of high inflation. In the model, firms are assumed to condition their expectations on an optimally-selected but incomplete information set and we further assume that the probability that they will reset their price in a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Software

دوره 32  شماره 

صفحات  -

تاریخ انتشار 2015